SiMA: a discrete event system specification-based modelling and simulation framework to support model composability

In this paper we briefly present our views on composability of models and interoperation of simulations; we introduce our simulation software framework, namely Simulation Modelling Architecture (SiMA), and we present our contributions to the underlying formal model (i.e. discrete event system specification). We also present our simulation construction environment, which supports composability of simulation models through a simulation construction tool chain. Finally, we provide a case study where a sample simulation scenario is used to demonstrate the features of our SiMA environment that facilitate composability of simulation models.